Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 4.Ident. | Authors (with country if any) | Title |
---|---|---|
005589 | Alexander Knapp [Allemagne] ; Stephan Merz [France] ; Martin Wirsing [Allemagne] ; Julia Zappe [Allemagne, France] | Specification and refinement of mobile systems in MTLA and mobile UML |
005A62 | Moritz Hammer [Allemagne] ; Alexander Knapp [Allemagne] ; Stephan Merz [France] | Truly On-The-Fly LTL Model Checking |
006165 | Moritz Hammer [Allemagne] ; Alexander Knapp [Allemagne] ; Stephan Merz [France] | Truly On-the-Fly LTL Model Checking |
006B43 | Alexander Knapp [Allemagne] ; Stephan Merz [France] ; Martin Wirsing [Allemagne] | Refining Mobile UML State Machines |
This area was generated with Dilib version V0.6.33. |